TSTP Solution File: DAT232^1 by Nitpick---2016